The 1996 European Summer Meeting of the Association of Symbolic Logic was held held the University of the Basque Country, at Donostia (San Se bastian) Spain, on July 9-15, 1996. It was organised by the Institute for Logic, Cognition, Language and Information (ILCLI) and the Department of Logic and Philosophy of Sciences of the University of the Basque Coun try. It was supported by: the University of Pais Vasco/Euskal Herriko Unib ertsitatea, the Ministerio de Education y Ciencia (DGCYT), Hezkuntza Saila (...) (Eusko Jaurlaritza), Gipuzkoako Foru Aldundia, and Kuxta Fun dazioa. The main topics of the meeting were Model Theory, Proof Theory, Re cursion and Complexity Theory, Models of Arithmetic, Logic for Artifi cial Intelligence, Formal Semantics of Natural Language and Philosophy of Contemporary Logic. The Program Committee consisted of K. Ambos Spies (Heidelberg), J.L. Balcazar (Barcelona), J.E. Fenstad (Oslo), D. Israel (Stanford), H. Kamp (Stuttgart), R. Kaye (Birmingham), J.M. Larrazabal (San Sebastian), D. Lascar (Paris, chairman), A. Marcja (Firenze), G. Mints (Stanford), M. Otero (Madrid), S. Ronchi della Rocca (Torino), K. Segerberg (Uppsala) and L. Vega (Madrid). The organizing Committee consisted of X. Arrazola (San Sebastian), A. Arrieta (San Sebastian), R. Beneyeto (Valencia), B. Carrascal (San Se bastian), K. Korta (San Sebastian), J.M. Larrazabal (San Sebastian, chair man), J.C. Martinez (Barcelona), J.M. Mendez (Salamanca), F. Migura (Victoria) and J. Perez (Victoria). (shrink)

Dentro de la serie sobre Filosofía de la editorial Paragon, que tiene como objetivo general la publicación de textos introductorios completos en sí mismos para estudiantes de licenciatura, se presenta este libro de Fetzer, reconocido autor y editor de monografías de filosofía del lenguaje, de la mente, de la Inteligencia Artificial y de la Ciencia Cognitiva. Precisamente el libro pretende ser “una introducción filosófica a la ciencia cognitiva”, escrito de manera sencilla y accesible a los lectores previstos, evitando consecuentemente descender (...) a la exposición de detalles y al uso extensivo de técnicas formales. Ello obliga al autor a sostener a veces un discurso excesivamente general y una argumentación poco fina, pero las ventajas para los estudiantes de filosofía que se introducen de este modo en los principales programas de investigación en ciencia cognitiva resultan claras. No es otra la finalidad del autor sino la de exponer por qué es necesaria y cómo es posible una ciencia de la cognición, que emerge como “interdisciplina” fecundada por la psicología cognitiva, la linguística y la inteligencia artificial, recurriendo a estudios de la neurología y al uso de instrumentos formales. (shrink)